Proving Logical Truths